Mαθemaτιcal Formulation

  • Shape: A Shape is modeled as a metric space

  • Sample: A finite 𝒮N\mathcal S\subset\mathbb R^N with small Hausdorff distance dH(𝒢,𝒮)d_{\mathrm H}(\mathcal G, \mathcal S)

  • Goal: Infer the topology of 𝒢\mathcal G from 𝒮\mathcal S.

    • Estimate only the Betti numbers—number of connected components, cycles, voids, etc—of 𝒢\mathcal G

    • construct a topological space 𝒢̂\hat{\mathcal G} (e.g. Vietoris–Rips) from 𝒮\mathcal S so that

      • 𝒢̂\hat{\mathcal G} is homotopy equivalent to 𝒢\mathcal G (topological reconstruction)
      • 𝒢̂N\hat{\mathcal G}\subset\mathbb R^N and dH(𝒢̂,𝒮)d_{\mathrm H}(\hat{\mathcal G}, \mathcal S) small (geometric reconstruction)

Definition

  • a metric space (X,dX)(X,d_X)

  • a scale β>0\beta>0

  • β(X)\mathcal{R}_\beta(X) is an abstract simplicial complex

    • XX is the vertex set
    • each subset AXA\subset X of (k+1)(k+1) points with diameter less than β\beta is a kk-simplex.

  • Persistent homology considers all possible scales β\beta to make reasonable (only) homological inference

  • My goal is to provide a [window] of scales where homotopy properties are guaranteed.

Why Vietoris–Rips?

  • Computationally efficient
  • Data dimension agnostic—unlike the Čech complex or α\alpha-complex

Hausmann (1995)

For any closed Riemannian manifold MM and 0<β<ρ(M)0<\beta<\rho(M), the Vietoris–Rips complex β(M)\mathcal{R}_\beta(M) is homotopy equivalent to MM.

Latschev (2001)

Every closed Riemannian manifold MM has an ϵ0>0\epsilon_0>0 such that for any 0<βϵ00<\beta\leq\epsilon_0 there exists some δ>0\delta>0 so that for any sample SS: dGH(S,M)δβ(S)M. d_{GH}(S,M)\leq\delta\implies \mathcal R_\beta(S)\simeq M.

Quantitative Latschev’s Theorems

Vietoris–Rips Complexes in Limits

  • (X,dX)(X, d_X) metric space
  • Indexed set: 𝒮{SX:|S|<}\mathcal{S}\coloneqq\{S\subset X\ : \lvert S\rvert<\infty\} under set inclusion
  • For any scale β0\beta\geq0, a direct system of groups:
  • {πm(β(S))πm(β(T))S,T𝒮,ST}\left\{\pi_m(\mathcal{R}_\beta(S))\to \pi_m(\mathcal{R}_\beta(T))\mid S,T\in\mathcal{S}, S\subset T\right\}

Hausmann in Limits (Kawamura, Majhi, and Mitra 2026)

limS𝒮πm(β(S))πm(β(X)). \lim_{S\in\mathcal{S}} \pi_m(\mathcal{R}_\beta(S)) \cong \pi_m(\mathcal{R}_\beta(X)).

Latschev in Limits (Kawamura, Majhi, and Mitra 2026)

Let D{pkk=1,2,}D\coloneqq\{ p_{k}\mid k=1,2,\ldots\} be a countable dense subset of a separable space XX and let Sk{pii=1,,k}S_{k}\coloneq \{ p_{i}\mid i=1,\ldots, k\}. Then, limkπm(β(Sk))πm(β(X)).\lim_{k}\pi_m(\mathcal{R}_\beta(S_{k})) \cong \pi_m(\mathcal{R}_\beta(X)).

Challenges

  • Unknown Shape: 𝒢N\mathcal{G}\subset\mathbb R^N with geodesic metric d𝒢d_\mathcal{G}
  • Sample: SNS\subset\mathbb{R}^N with Euclidean metric \|\bullet\|
  • Density: dH(S,𝒢)d_H(S,\mathcal{G}) small or can be controlled
  • Q: Find a [range] of β\beta so that β(S)\mathcal{R}_\beta(S) is homotopy equivalent to 𝒢\mathcal{G}.

Bad News :-(

A single Vietoris–Rips complex fails to be topologically faithful, no matter the sample density

Remedy 1: ε\varepsilon-path Metric

  1. Fix a positive ε\varepsilon: proportional to dH(𝒮,𝒢)d_H(\mathcal S, \mathcal G);

  2. Compute ε\varepsilon-neighborhood graph on 𝒮\mathcal S: ε(1)(𝒮)\mathcal R^{(1)}_\varepsilon(\mathcal S);

  3. Define d𝒮ε(a,b)d_{\mathcal S}^\varepsilon(a,b) to be the shortest path metric on ε(1)(𝒮)\mathcal R^{(1)}_\varepsilon(\mathcal S);

  4. Denote by βε(S)\mathcal{R}_\beta^\varepsilon(S) the Vietoris–Rips complex of 𝒮\mathcal S under d𝒮εd^\varepsilon_{\mathcal S}.

ε\varepsilon-path Metric on 𝒮\mathcal S

Quasi-isometry (Majhi 2023)

For a dense enough sample 𝒮\mathcal S of 𝒢\mathcal G, d𝒮εd^\varepsilon_{\mathcal S} is quasi-isometric to the length metric on 𝒢\mathcal G.

Remedy 2: Large-scale Distortion

  • A finite sample around a corner does not see the corner
  • Global distortion: δ(𝒢)=supabd𝒢L(a,b)ab\delta(\mathcal G)=\sup_{a\neq b}\frac{d^L_{\mathcal G}(a,b)}{\|a-b\|}
  • Large-scale distortion: δRε(𝒢)=supdL(a,b)Rd𝒢L(a,b)d𝒢εL(a,b)\delta^\varepsilon_R(\mathcal G)=\sup_{d^L(a,b)\geq R}\frac{d^L_{\mathcal G}(a,b)}{d^L_{\mathcal G^\varepsilon}(a,b)}

For any R>0R>0, δRε(𝒢)1\delta^\varepsilon_R(\mathcal G)\to1 as ε0\varepsilon\to0, provided 𝒢\mathcal G is compact.

Topological Reconstruction

Metric Graph Reconstruction (Komendarczyk, Majhi, and Mitra 2025)

Let 𝒢N\mathcal G \subset \mathbb{R}^N be a compact, connected metric graph.
Fix any ξ(0,14)\xi\in\left(0,\frac{1}{4}\right). For any positive β<(𝒢)4\beta<\frac{\ell(\mathcal G)}{4}, choose a positive εβ3\varepsilon\leq\frac{\beta}{3} such that δβε(𝒢)1+2ξ1+ξ\delta^{\varepsilon}_{\beta}(\mathcal G)\leq\frac{1+2\xi}{1+\xi}.

If 𝒮N\mathcal S\subset \mathbb R^N is such that dH(𝒢,𝒮)<12ξεd_H(\mathcal G,\mathcal S)<\tfrac{1}{2}\xi\varepsilon, then we have a homotopy equivalence βε(𝒮)𝒢\mathcal R^\varepsilon_\beta(\mathcal S)\simeq \mathcal G.

Fixing ξ=1/6\xi=1/6, we get a simpler but weaker statement.

Let 𝒢N\mathcal G \subset \mathbb{R}^N be a compact, connected metric graph.
For any positive β<(𝒢)/4\beta<\ell(\mathcal G)/4, choose a positive εβ/3\varepsilon\leq\beta/3 such that δβε(𝒢)8/7\delta^{\varepsilon}_{\beta}(\mathcal G)\leq8/7. If 𝒮N\mathcal S\subset \mathbb R^N and dH(𝒢,𝒮)<ε/12d_H(\mathcal G,\mathcal S)<\varepsilon/12, then we have a homotopy equivalence βε(𝒮)𝒢\mathcal R^\varepsilon_\beta(\mathcal S)\simeq\mathcal G.

Vietoris–Rips Shadow

  • Geometric reconstruction: entails constructing 𝒢̂N\hat{\mathcal G}\subset\mathbb R^N from samples so that
    • 𝒢̂𝒢\hat{\mathcal G}\simeq \mathcal G & dH(𝒢̂,𝒢)d_H(\hat{\mathcal G}, \mathcal G) is small
  • Vietoris–Rips complexes are abstract, hence contain only topological information
  • A good candidate for 𝒢̂\hat{\mathcal G} is the shadow of a topologically-faithful Vietoris–Rips.

𝒦\mathcal K
  • Shadow: For simplicial complex 𝒦\mathcal K with vertices from N\mathbb R^N is the union of the (Euclidean) convex hulls of simpices σ𝒦\sigma\in\mathcal K

  • Notorious for being topologically unfaithful

    • Chambers et al. (2010); Adamaszek, Frick, and Vakili (2017)

sh(𝒦)\mathrm{sh}(\mathcal K)

Vietoris–Rips Shadow in Limits

  • XNX\subset\mathbb R^N Euclidean metric space (Submanifolds, graphs; more generally ANR)
  • Denote πm(𝒮β(𝕊))limS𝕊πm(S(β(S)))\pi_{m}(\mathcal{S}_\beta(\mathbb{S})) \coloneq \lim_{S\in \mathbb{S}} \pi_{m}(S(\mathcal{R}_\beta (S)))
  • We obtain an inverse system: {πm(𝒮γ(𝕊))πm(𝒮β(𝕊))0<γ<β} \left\{ \pi_{m}(\mathcal{S}_{\gamma}(\mathbb{S})) \to \pi_{m}(\mathcal{S}_{\beta}(\mathbb{S})) \mid 0 < \gamma < \beta \right\}
  • The inverse limit group: limβπm(𝒮β(𝕊)) \lim_{\beta} \pi_{m}(\mathcal{S}_{\beta}(\mathbb{S}))

Hausmann in Shadow Limits (Kawamura, Majhi, and Mitra 2026)

limS𝒮πm(β(S))πm(X). \lim_{S\in\mathcal{S}} \pi_m(\mathcal{R}_\beta(S)) \cong \pi_m(X).

Graph Reconstruction via Shadow

Geometric Reconstruction (Komendarczyk, Majhi, and Mitra 2025)

Let 𝒢2\mathcal G \subset \mathbb{R}^2 a graph. Fix any ξ(0,1Θ6)\xi\in\left(0,\frac{1-\Theta}{6}\right). For any positive β<min{Δ(𝒢),(𝒢)12}\beta<\min\left\{\Delta(\mathcal G),\frac{\ell(\mathcal G)}{12}\right\}, choose a positive ε(1Θ)(1Θ6ξ)12β\varepsilon\leq\frac{(1-\Theta)(1-\Theta-6\xi)}{12}\beta such that δβε(𝒢)1+2ξ1+ξ\delta^{\varepsilon}_{\beta}(\mathcal G)\leq\frac{1+2\xi}{1+\xi}.

If 𝒮2\mathcal S\subset \mathbb R^2 and dH(𝒢,𝒮)<12ξεd_H(\mathcal G, \mathcal S)<\tfrac{1}{2}\xi\varepsilon, then the shadow sh(βε(𝒮))sh(\mathcal R_\beta^\varepsilon(\mathcal S)) is homotopy equivalent to 𝒢\mathcal G. Moreover, dH(sh(βε(𝒮)),𝒢)<(β+12ξε)d_H(sh(\mathcal R_\beta^\varepsilon(\mathcal S)),\mathcal G)<\left(\beta+\frac{1}{2}\xi\varepsilon\right).

  • Θ(0,1)\Theta\in(0,1): depends on the angles between tangents of edges at the graph vertices
  • Δ(G)\Delta(G): Shadow radius positive number for graphs with smooth edges
  • 𝒢\mathcal G is planar

Future Directions

  • The general case: 𝒢N\mathcal G\subset\mathbb R^N

    • in preparation with Kazuhiro Kawamura & Atish Mitra
  • Use discrete Morse theory to perform organized collapses of higher dimensional simplices of shadow for homeomorphic reconstruction

  • Submanifold reconstruction via Vietoris–Rips shadow